• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (17)
    • 2021 (39)
    • 2020 (30)
    • 2019 (35)
    • 2018 (34)
    • 2017 (33)
    • 2016 (24)
    • 2015 (50)
    • 2014 (28)
    • 2013 (39)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...103 Hits 1 – 20 of 2.044 1 Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming Abdallah, Majd; Iovene, Valentin; Zanitti, Gaston... In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022) BASE Show details 2 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 3 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022 BASE Show details 4 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show details 5 Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ... Li, Zhijing; Ye, Yuwei; Neuendorffer, Stephen. - : arXiv, 2022 BASE Show details 6 Source Matching and Rewriting ... Couto, Vinicius; Zago, Luciano; Yviquel, Hervé. - : arXiv, 2022 BASE Show details 7 How ISO C became unusable for operating systems development ... Yodaiken, Victor. - : arXiv, 2022 BASE Show details 8 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 BASE Show details 9 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 10 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 11 A Systematic Evaluation of Large Language Models of Code ... Xu, Frank F.; Alon, Uri; Neubig, Graham. - : arXiv, 2022 BASE Show details 12 On Reinforcement Learning, Effect Handlers, and the State Monad ... Lago, Ugo Dal; Gavazzo, Francesco; Ghyselen, Alexis. - : arXiv, 2022 BASE Show details 13 Compilable Neural Code Generation with Compiler Feedback ... Wang, Xin; Wang, Yasheng; Wan, Yao. - : arXiv, 2022 BASE Show details 14 Active Learning Activities in a Collaborative Teacher Setting in Colours, Design and Visualisation Jonathan C. Roberts In: Computers; Volume 11; Issue 5; Pages: 68 (2022) BASE Show details 15 Are You Robert or RoBERTa? Deceiving Online Authorship Attribution Models Using Neural Text Generators Jones, Keenan; Nurse, Jason R. C.; Li, Shujun. - : Association for the Advancement of Artificial Intelligence, 2022 BASE Show details 16 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 17 Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache Weigelt, Sebastian. - : KIT Scientific Publishing, Karlsruhe, 2022 BASE Show details 18 Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java Hardin, Thérèse; Jaume, Mathieu; Pessaux, François. - : HAL CCSD, 2021. : ISTE Editions, 2021 In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021) BASE Show details 19 Multiplicative Linear Logic from Logic Programs and Tilings Eng, Boris; Seiller, Thomas In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021) Abstract: We present a non-deterministic model of computation related to Robinson’s first-order resolution. This model formalises and extends ideas sketched by Girard in his Transcendental Syntax programme. After establishing formal defini- tions and basic properties, we show its Turing-completeness by exhibiting how it naturally models logic programs as well as non-deterministic tiling constructions such as those defining the abstract tile assembly model, recently used in DNA computing. In a second part, we explain how this model of computation yields, using realisability techniques, a dynamic semantics of proofs in the multiplicative fragment of linear logic (MLL), for which we obtain full-completeness results for both MLL and MLL extended with the so-called MIX rule. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; Geometry of Interaction; Linear Logic; Models of Computation; Semantics URL: https://hal.archives-ouvertes.fr/hal-02895111 https://hal.archives-ouvertes.fr/hal-02895111v3/file/main.pdf https://hal.archives-ouvertes.fr/hal-02895111v3/document BASE Hide details 20 Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM NZEBOP NDENOKA, Gérard; Tchuenté, Maurice; Simeu, Emmanuel In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021) BASE Show details Page: 1 2 3 4 5...103

Mobile view All Catalogues UB Frankfurt Linguistik 5 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 4 Bibliographies BLLDB 13 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 1 MPI for Psycholinguistics 36 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 1.990 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0